showConstructor < A : Bool >.A
